An ASN.1 compiler1 for embedded/space systems
نویسندگان
چکیده
George Mamais, Thanassis Tsiodras, David Lesens, Maxime Perrotin i Semantix Information Technologies, K.Tsaldari 62, Poligono 114 76, Athens, Greece {gmamais, ttsiodras}@semantix.gr ii Astrium Space Transportation. Route de Verneuil, BP 3002, F-78 133 Les Mureaux Cedex, France [email protected] iii ESTEC. Keplerlaan 1. PO Box 299, NL-2200 AG Noordwijk, The Netherlands [email protected]
منابع مشابه
Rocking Rotation of a Rigid Disk Embedded in a Transversely Isotropic Half-Space
The asymmetric problem of rocking rotation of a circular rigid disk embedded in a finite depth of a transversely isotropic half-space is analytically addressed. The rigid disk is assumed to be in frictionless contact with the elastic half-space. By virtue of appropriate Green's functions, the mixed boundary value problem is written as a dual integral equation. Employing further mathematical tec...
متن کاملQUANTALE-VALUED GAUGE SPACES
We introduce a quantale-valued generalization of approach spaces in terms of quantale-valued gauges. The resulting category is shown to be topological and to possess an initially dense object. Moreover we show that the category of quantale-valued approach spaces defined recently in terms of quantale-valued closures is a coreflective subcategory of our category and, for certain choices of the qu...
متن کاملThe Use of ASN.1 and XDR for Data Representation in Real-Time Distributed Systems
This report provides an overview of two standards that are used for data specification and representation in distributed systems. The standards considered are the Abstract Syntax Notation One (ASN.1) and the external data representation (XDR). Standards for data representation are appropriate for the development of real-time distributed systems, particularly loosely coupled, heterogeneous syste...
متن کاملNET-THEORETICAL L-GENERALIZED CONVERGENCE SPACES
In this paper, the denition of net-theoretical L-generalized convergencespaces is proposed. It is shown that, for L a frame, the category ofenriched L-fuzzy topological spaces can be embedded in that of L-generalizedconvergence spaces as a reective subcategory and the latter is a cartesianclosedtopological category.
متن کاملOSI Specifications using ASN.1 and other formal description techniques
Service and protocol specifications are the basis for the design and implementation of distributed computer systems. In the area of OSI communication standards, specifications are written in natural language and various description techniques, including ASN.1 and other formal techniques. Since the scope of ASN.1 is essentially limited to the definition of data structures and coding conventions,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011